Cs - R 9543 1995
نویسندگان
چکیده
We claim that programming within the logic programming paradigm suuers from lack o f attention given to iteration and arrays. To c o n vince the reader about their merits we present several examples of logic and constraint logic programs which use iteration and arrays instead of explicit recursion and lists. These programs are substantially simpler than their counterparts written in the conventional way. They are easier to write and to understand, are guaranteed to terminate and their declarative c haracter makes it simpler to argue about their correctness. Iteration is implemented by means of bounded quantiication.
منابع مشابه
Dynamic whole-arm dexterous manipulation in the plane
A dynamic model Whole-Arm Dexterous Manipulation In The Plane S.L. Yeap J.C. Trinkle Dept. of CS syeap@cs. tamu.edu Dept. of CS trink@cs . t amu.edu Texas A&M University, College Station, TX 77843-31 12 ' of a dexterous manipulation system can be used for predicting the feasibility of a manipulation plan generated under the quasistatic assumption but executed under dynamic conditions. Contact f...
متن کاملModeling Reasoning in a Social Setting
In this survey and position paper, we discuss some issues in logical modeling of interactive behavior. We draw together a number of lines in current logics for social action, emphasizing uses of ‘small models’ rather than complex spaces.
متن کاملInvolvement of CD45 in adhesion and suppression of apoptosis of mouse malignant T-lymphoma cells.
Mouse malignant T-lymphoma CS-21 cells undergo apoptotic cell death in vitro in the absence of lymph node stromal cells but escape apoptosis and proliferate when they are attached to CA-12 stromal cells. A monoclonal antibody raised against CS-21 cell surface molecules (MCS-5) recognized a M(r) 168,000 protein, inhibited binding of CS-21 cells to CA-12 stromal cells, and suppressed apoptosis in...
متن کاملAntimicrobial activity of CS-940, a new trifluorinated quinolone.
The antimicrobial activity of CS-940, a new trifluorinated quinolone drug, was tested against 761 clinical isolates. CS-940 activity against members of the family Enterobacteriaceae was most similar to that of ciprofloxacin and ofloxacin, with a large range of MICs inhibiting 90% of isolates tested (MIC90S) of 0.015 to 16 micrograms/ml (median MIC90, 0.06 micrograms/ml). CS-940 had greater acti...
متن کامل